#ifndef SUBSTITUTION_H
#define SUBSTITUTION_H

#include <string>

using namespace std;

class Expression;


class Substitution
{
    public:
        Substitution(const string & substituted = "" , Expression * substitution = NULL);
        virtual ~Substitution();
        Substitution(const Substitution & other);
        Substitution * clone();
        void setSubstituted(const string & substituted);
        void setSubstitution(Expression * substituted);
        string getSubstituted();
        Expression * getSubstitution();
        string toString();

    private:
        string substituted;
        Expression * substitution;
};

#endif // SUBSTITUTION_H
